Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

We have a range of long- and short-term collaborations with various universities and research labs. We summarize them by project:

• F*: Microsoft Research (Cambdridge, Redmond), IMDEA (Madrid)

• TLS analysis: Microsoft Research (Cambridge), Johns Hopkins University, University of Michigan, University of Pennsylvania

• Web Security: Microsoft Research (Cambridge, Redmond), Imperial College (London)

• Micro-Policies: University of Pennsylvania, Portland State University